function replaceGroupValue(value_s){
    return value_s!=null?value_s.replace("2.3 -","2.3.0 -"):"";
}

function updateNodes() {
  for each (var docNode in document.children){
	docNode.properties["dlswr:productUsers"]=replaceGroupValue(docNode.properties["dlswr:productUsers"]);
	docNode.properties["dlswr:docVolume"]=replaceGroupValue(docNode.properties["dlswr:docVolume"]);
	docNode.save();
  }
}

updateNodes();
